Similarity quantification for linear stochastic systems: A coupling compensator approach
نویسندگان
چکیده
For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially case when considering accurate deviation bounds between a stochastic continuous-state model its finite (reduced-order) abstraction. In this work, we introduce coupling compensator to parameterize set relevant couplings give comprehensive computational approach analysis for linear systems. More precisely, develop method that characterizes possible simulation relations gives trade-off error contributions on systems output deviations in transition probability. We show effect guaranteed satisfaction probability studies where specification given as temporal logic formula.
منابع مشابه
a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA Suggested Approach for Stochastic Interval-Valued Linear Fractional Programming problem
In this paper, we considered a Stochastic Interval-Valued Linear Fractional Programming problem(SIVLFP). In this problem, the coefficients and scalars in the objective function are fractional-interval, and technological coefficients and the quantities on the right side of the constraints were random variables with the specific distribution. Here we changed a Stochastic Interval-Valued Fractiona...
متن کاملA METHOD FOR SOLVING FUZZY LINEAR SYSTEMS
In this paper we present a method for solving fuzzy linear systemsby two crisp linear systems. Also necessary and sufficient conditions for existenceof solution are given. Some numerical examples illustrate the efficiencyof the method.
متن کاملThe LMI Approach for Stabilizing of Linear Stochastic Systems
Stochastic linear systems subjected both to Markov jumps and to multiplicative white noise are considered. In order to stabilize such type of stochastic systems, the so-called set of generalized discrete-time algebraic Riccati equations has to be solved. The LMI approach for computing the stabilizing symmetric solution (which is in fact the equilibrium point) of this system is studied. We const...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2022
ISSN: ['1873-2836', '0005-1098']
DOI: https://doi.org/10.1016/j.automatica.2022.110476